From: Ian Campbell <ian.campbell@citrix.com>
Date: Fri, 20 Nov 2015 14:22:11 +0000 (+0000)
Subject: MAINTAINERS: mini-os patches should be copied to minios-devel
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~2215
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https://%22%22/%22http:/www.example.com/cgi/%22https:/%22%22?a=commitdiff_plain;h=bb4b673ace1313d3af94c0c7350b4c27788144af;p=xen.git

MAINTAINERS: mini-os patches should be copied to minios-devel

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Cc: samuel.thibault@ens-lyon.org
Cc: stefano.stabellini@eu.citrix.com
Cc: minios-devel@lists.xenproject.org
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
---

diff --git a/MAINTAINERS b/MAINTAINERS
index 759de1b554..e3766469ec 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -234,6 +234,7 @@ MINI-OS
 M:	Stefano Stabellini <stefano.stabellini@eu.citrix.com>
 M:	Samuel Thibault <samuel.thibault@ens-lyon.org>
 S:	Supported
+L:	minios-devel@lists.xenproject.org
 F:	config/MiniOS.mk
 F:	extras/mini-os/